/**********************************************************************
* Filename: Campeonato.java
* Created: 2012/04/30
* @author Fernando Brito e Abreu
**********************************************************************/
package pt.iscteiul.worldfootball.businesslayer;

import java.util.HashMap;
import java.util.Set;
import java.util.HashSet;

import com.projectpoint.annotationnotfinished.NotFinished;
@NotFinished(value="Not tested")
public class Campeonato implements Cloneable
{
	public static Set<Campeonato> allInstances = new HashSet<Campeonato>();
	
	private TipoCampeonato genero;
	private String nome;
	
	@Override
	protected Object clone() throws CloneNotSupportedException {
		Campeonato camp = new Campeonato(genero, new String(nome));
		Campeonato.allInstances.remove(camp);
		return super.clone();
	}
	
	protected boolean _Invariant () {
		//self.participacao->select(organizador).participante.cidades.estadios->asSet->includesAll(self.grupos.jogos.estadio->asSet)
		boolean jogosNasCidadesDosPaisesOrganizadores=true;
		
		for(Participacao p :this.participacao()){
			if(p.organizador()){
				HashSet<Estadio> estadiosPaisOrganizador = new HashSet<Estadio>();
				for(Cidade c:p.participante().cidades()){
					estadiosPaisOrganizador.addAll(c.estadios());
				}
				
				
				for(Grupo g:this.grupos()){
					HashSet<Estadio> estadiosJogosGrupo = new HashSet<Estadio>();
					for(Jogo j:g.jogos()){
						estadiosJogosGrupo.add(j.estadio());
					}
					if(!estadiosPaisOrganizador.containsAll(estadiosJogosGrupo)){
						jogosNasCidadesDosPaisesOrganizadores = false;
					}
				}
				
			}
		}
		
		return jogosNasCidadesDosPaisesOrganizadores;
	}
	
	/**********************************************************************
	* Default constructor
	**********************************************************************/
	public Campeonato()
	{
		allInstances.add(this);
	}
	
	/**********************************************************************
	* Parameterized constructor
	* @param genero the genero to initialize
	* @param nome the nome to initialize
	**********************************************************************/
	public Campeonato(TipoCampeonato genero, String nome)
	{
		this.genero = genero;
		this.nome = nome;
		allInstances.add(this);
	}
	
	/**********************************************************************
	* Standard attribute getter
	* @return the genero of the campeonato
	**********************************************************************/
	public TipoCampeonato genero()
	{
		return genero;
	}
	
	/**********************************************************************
	* Standard attribute setter
	* @param genero the genero to set
	**********************************************************************/
	public void setGenero(TipoCampeonato genero)
	{
		this.genero = genero;
	}
	
	/**********************************************************************
	* Standard attribute getter
	* @return the nome of the campeonato
	**********************************************************************/
	public String nome()
	{
		return nome;
	}
	
	/**********************************************************************
	* Standard attribute setter
	* @param nome the nome to set
	**********************************************************************/
	public void setNome(String nome)
	{
		this.nome = nome;
	}
	
	/**********************************************************************
	* ONE2MANY getter for Campeonato[1] <-> Grupo[*]
	* @return the grupos of the campeonato
	**********************************************************************/
	public Set<Grupo> grupos()
	{
		Set<Grupo> result = new HashSet<Grupo>();
		for (Grupo x : Grupo.allInstances)
			if (x.campeonato()  ==  this)
				result.add(x);
		return result;
	}
	
	/**********************************************************************
	* ONE2MANY setter for Campeonato[1] <-> Grupo[*]
	* @param grupos the grupos to set
	**********************************************************************/
	public void setGrupos(Set<Grupo> grupos)
	{
		for (Grupo x : grupos)
			x.setCampeonato(this);
	}
	
	/**********************************************************************
	* MEMBER2ASSOCIATIVE getter for Campeonato[*] <-> Participacao[2..*]
	* @return the participacao of the participado
	**********************************************************************/
	public Set<Participacao> participacao()
	{
		Set<Participacao> result = new HashSet<Participacao>();
		for (Participacao x : Participacao.allInstances)
			if (x.participado()  ==  this)
				result.add(x);
		return result;
	}
	
	/**********************************************************************
	* MEMBER2ASSOCIATIVE setter for Campeonato[*] <-> Participacao[2..*]
	* @param participacao the participacao to set
	**********************************************************************/
	public void setParticipacao(Set<Participacao> participacao)
	{
		for (Participacao x : participacao)
			x.setParticipado(this);
	}
	
	/**********************************************************************
	* MEMBER2MEMBER getter for Campeonato[*] <-> Pais[2..*]
	* @return the participante of the participado
	**********************************************************************/
	public Set<Pais> participante()
	{
		Set<Pais> result = new HashSet<Pais>();
		for (Participacao x : Participacao.allInstances)
			if (x.participado()  ==  this)
				result.add(x.participante());
		return result;
	}
	
	/**********************************************************************
	* MEMBER2MEMBER setter for Campeonato[*] <-> Pais[2..*]
	* @param participante the participante to set
	**********************************************************************/
	public void setParticipante(Set<Pais> participante)
	{
		for (Pais t : participante)
			for (Participacao x: Participacao.allInstances)
				if (x.participado() == this)
					x.setParticipante(t);
	}
	
	/**********************************************************************
	* User-defined operation specified in SOIL/OCL
	**********************************************************************/
	public void criaMembrosEquipas()
	{
		//	TODO
		//	for eq in self.grupos->collectNested($e : Grupo | $e.jogos)->flatten->collectNested($e : Jogo | $e.equipa)->flatten->asSet do eq.criaFichaJogoFalsa() end;
		Set<Equipa> equipaSet = new HashSet<Equipa>(); 
		for(Grupo gr: this.grupos()){
			for(Jogo jg: gr.jogos()){
				for(Equipa eq: jg.equipa()){
					equipaSet.add(eq);
				}
			}
		}
		
		for(Equipa equipa:equipaSet){
			equipa.criaFichaJogoFalsa();
		}
		
	}
	
	/**********************************************************************
	* User-defined operation specified in SOIL/OCL
	* @param nome the nome to set
	* @param genero the genero to set
	* @param paises the paises to set
	* @param grupos the grupos to set
	**********************************************************************/
	public void inicializa(String nome, TipoCampeonato genero, Set<String> paises, Set<String> grupos)
	{
		//	TODO
		//	self.nome := nome;
		this.nome = nome;
		//	 self.genero := genero;
		this.genero = genero;
		//	 for p in paises do 
		for(String p: paises){
		//	participacao := new Participacao(((p + '_') + self.nome)) between (new Pais(p),self);
		Participacao participacao = new Participacao();
		Pais pais = new Pais();
		pais.setNome(p);
		participacao.setParticipante(pais);
		//	 participacao.organizador := false;
		participacao.setOrganizador(false);
		//	 treinador := new Treinador(('Treinador_' + p));
		Treinador treinador = new Treinador();
		//	 insert (treinador,participacao) into Treinador_Participacao
		participacao.setTreinador(treinador);
		//	 end;
		}
		//	 for g in grupos do 
		for(String g:grupos){
		//	insert (self,new Grupo(g)) into Campeonato_Grupo	
			Grupo grupo = new Grupo();
			grupo.setDesignacao(g);
			grupo.setCampeonato(this);
		//	end;
		}
	}
	
	/* (non-Javadoc)
	* @see java.lang.Object#toString()
	*/
	@Override
	/**********************************************************************
	* Object serializer
	**********************************************************************/
	public String toString()
	{
		return "Campeonato [genero=" + genero + ", nome=" + nome + "]\n";
	}
	
}
